Eventually Different Functions and Inaccessible Cardinals
نویسندگان
چکیده
منابع مشابه
Inaccessible Cardinals, Failures of GCH, and Level-by-Level Equivalence
We construct models for the level by level equivalence between strong compactness and supercompactness containing failures of GCH at inaccessible cardinals. In one of these models, no cardinal is supercompact up to an inaccessible cardinal, and for every inaccessible cardinal δ, 2δ > δ++. In another of these models, no cardinal is supercompact up to an inaccessible cardinal, and the only inacce...
متن کاملIncompleteness Theorems, Large Cardinals, and Automata over Finite Words
We prove that there exist some 1-counter Büchi automata An for which some elementary properties are independent of theories like Tn =: ZFC + “There exist (at least) n inaccessible cardinals”, for integers n ≥ 1. In particular, if Tn is consistent, then “L(An) is Borel”, “L(An) is arithmetical”, “L(An) is ω-regular”, “L(An) is deterministic”, and “L(An) is unambiguous” are provable from ZFC + “T...
متن کاملAll Uncountable Regular Cardinals Can Be Inaccessible in Hod
Assuming the existence of a supercompact cardinal and an inaccessible above it, we construct a model of ZFC, in which all uncountable regular cardinals are inacces-
متن کاملSingular Cardinals and Square Properties
We analyze the effect of singularizing cardinals on square properties. An old theorem of Dzamonja-Shelah/Gitik says that if you singularize an inaccessible cardinal while preserving its successor, then κ,ω holds in the bigger model. We extend this to the situation where a finite interval of cardinals above κ is collapsed. More precisely, we show that if V ⊂ W , κ is inaccessible in V , cf (κ V ...
متن کاملSequential Continuity and Submeasurable Cardinals
Submeasurable cardinals are deened in a similar way as measurable cardinals are. Their characterizations are given by means of sequentially continuous pseudonorms (or homomorphisms) on topological groups and of sequentially continuous (or uniformly continuous) functions on Cantor spaces (for that purpose it is proved that if a complete Boolean algebra admits a nonconstant sequentially continuou...
متن کامل